$\forall$${\it es}$:ES, $a$, $b$, $c$:E. $a$ $\leq$loc $b$  $\Rightarrow$ $b$ $\leq$loc $c$  $\Rightarrow$ $a$ $\leq$loc $c$